gmvFile
    << "probtime  " << runTime.name() << nl
    << "endgmv" << nl;
